Space Complexity in Polynomial Calculus
نویسندگان
چکیده
منابع مشابه
Space Complexity in Polynomial Calculus (Extended Abstract)
During the last decade, an active line of research in proof complexity has been to study space complexity and timespace trade-offs for proofs. Besides being a natural complexity measure of intrinsic interest, space is also an important issue in SAT solving. For the polynomial calculus proof system, the only previously known space lower bound is for CNF formulas of unbounded width in [Alekhnovic...
متن کاملOn Complexity Measures in Polynomial Calculus
Proof complexity is the study of non-deterministic computational models, called proof systems, for proving that a given formula of propositional logic is unsatisfiable. As one of the subfields of computational complexity theory, the main questions of study revolve around the amount of resources needed to prove the unsatisfiability of various formulas in different proof systems. This line of inq...
متن کاملCharacterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus
In this paper an implicit characterization of the complexity classes k-EXP and k-FEXP, for k ≥ 0, is given, by a type assignment system for a stratified λ-calculus, where types for programs are witnesses of the corresponding complexity class. Types are formulae of Elementary Linear Logic (ELL), and the hierarchy of complexity classes k-EXP is characterized by a hierarchy of types.
متن کاملNON-POLYNOMIAL SPLINE FOR THE NUMERICAL SOLUTION OF PROBLEMS IN CALCULUS OF VARIATIONS
A Class of new methods based on a septic non-polynomial spline function for the numerical solution of problems in calculus of variations is presented. The local truncation errors and the methods of order 2th, 4th, 6th, 8th, 10th, and 12th, are obtained. The inverse of some band matrixes are obtained which are required in proving the convergence analysis of the presented method. Convergence anal...
متن کاملCalculus in Gauss Space
The �-dimensional Lebesgue space is the measurable space (E���(E�))— where E = [0 � 1) or E = R—endowed with the Lebesgue measure, and the “calculus of functions” on Lebesgue space is just “real and harmonic analysis.” The �-dimensional Gauss space is the same measure space (R���(R�)) as in the previous paragraph, but now we endow that space with the Gauss measure P� in place of the Lebesgue me...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Journal on Computing
سال: 2015
ISSN: 0097-5397,1095-7111
DOI: 10.1137/120895950